x86/domain: make release_compat_l4 NULL tolerant
authorWei Liu <wei.liu2@citrix.com>
Mon, 24 Apr 2017 13:33:43 +0000 (14:33 +0100)
committerWei Liu <wei.liu2@citrix.com>
Wed, 7 Jun 2017 11:15:56 +0000 (12:15 +0100)
commitdfecffc84866c505aff2a16f521390a546a2b146
tree2c847f27782a3c12466067fefc42e4d1ea97d4ca
parentba61ebe1da452c5887c54b6fbd96e6ee116570c2
x86/domain: make release_compat_l4 NULL tolerant

Push the check in caller down to that function so that it becomes
idempotent.

No functional change.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/domain.c